Íòòúö××ððý Óñôó×××ðð Áò Blockinóö Blockin Blockin Blockin Blockinððøý

Dominique Unruh1 and Jörn Müller-Quade2 1 Saarland University 2 Karlsruhe Institute of Te hnology (KIT) Abstra t. We present the UC/ framework, a general de nition for se ure and in oer ible multi-party proto ols. Our framework allows to model arbitrary rea tive proto ol tasks (by spe ifying an ideal fun tionality) and omes with a universal omposition theorem. We show that given natural setup assumptions, we an onstru t in oer ible two-party proto ols realising arbitrary fun tionalities (with respe t to stati adversaries).